An Environment for Automatic Test Generation
نویسندگان
چکیده
منابع مشابه
Automatic Test Generation for Space
The European Space Agency (ESA) uses an engine to perform tests in the Ground Segment infrastructure, specially the Operational Simulator. This engine uses many different tools to ensure the development of regression testing infrastructure and these tests perform black-box testing to the C++ simulator implementation. VST (VisionSpace Technologies) is one of the companies that provides these ser...
متن کاملAn integrated automatic test data generation system
The Godzilla automatic test data generator is an integrated collection of tools that implements a relatively new test data generation method, constraint-based testing, that is based on mutation analysis. Constraint-based testing integrates mutation analysis with several other testing techniques, including statement coverage, branch coverage, domain perturbation and symbolic evaluation. Because ...
متن کاملProTest: An Automatic Test Environment for B Specifications
We present ProTest, an automatic test environment for B specifications. B is a model-oriented notation where systems are specified in terms of abstract states and operations on abstract states. ProTest first generates a state coverage graph of a B specification through exhaustive model checking, and the coverage graph is traversed to generate a set of test cases, each being a sequence of B oper...
متن کاملAutomatic Test Bench Generation
In current design practice synthesis tools play a key role, letting designers to concentrate on the specification of the system being designed by carrying out repetitive tasks such as architecture synthesis and technology mapping. However, in the new design flow, validation still remains a challenge: while new technologies based on formal verification are only marginally accepted for large desi...
متن کاملAn Automatic Test Environment for Microelectronics Education and Research
An automatic test environment (ATE) based on a PSoC has been developed to perform electrical characterization of integrated circuits (ICs). The ICs are designed for academic and research purposes as part of the Electronic Design graduate program at CINVESTAV-Guadalajara Unit; these ICs are manufactured in standard N-well, 5-V, 1.5μm/0.5μm CMOS technologies. The ATE offers programmable capabilit...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Cybernetics and Information Technologies
سال: 2017
ISSN: 1314-4081
DOI: 10.1515/cait-2017-0025